RewriteRelationNotEnoughArguments.agda:8,1-26
A  does not have the right type for a rewriting relation
because it should accept at least two arguments
when checking the pragma BUILTIN REWRITE A
